(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 11.0' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     16758,        415]
NotebookOptionsPosition[     15898,        380]
NotebookOutlinePosition[     16371,        399]
CellTagsIndexPosition[     16328,        396]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{

Cell[CellGroupData[{
Cell["\:5411\:91cf\:8fd0\:7b97\:7684\:4f5c\:7528", "Chapter",
 CellChangeTimes->{{3.849066533029242*^9, 3.849066552818221*^9}}],

Cell[CellGroupData[{

Cell["\:5224\:65ad\:5de6\:53f3", "Subchapter",
 CellChangeTimes->{
  3.8490665628572245`*^9, {3.8490666910800457`*^9, 3.849066691775115*^9}, {
   3.8490675483847775`*^9, 3.8490675485267916`*^9}}],

Cell["\<\
\:4e00\:4e2a\:70b9\:5728\:5411\:91cf\:7684\:5de6\:8fb9\:8fd8\:662f\:53f3\:8fb9\
\:ff0c\:53ef\:4ee5\:901a\:8fc7\:5411\:91cf\:53c9\:4e58\:5f97\:5230\:3002\:5177\
\:4f53\:505a\:6cd5\:662f\:7528\:5411\:91cf\:51fa\:53d1\:70b9\:8fde\:548c\:63a7\
\:5236\:70b9\:8fde\:6210\:4e00\:4e2a\:65b0\:5411\:91cf\:ff0c\:7528\:539f\:5411\
\:91cf\:53c9\:4e58\:65b0\:5411\:91cf\:ff0c\:7ed3\:679c\:7684\:7b2c\:4e09\:4e2a\
\:5750\:6807\:5982\:679c\:662f\:8d1f\:7684\:5c31\:5728\:5de6\:4fa7\
\>", "Text",
 CellChangeTimes->{{3.8490666249344316`*^9, 3.8490666380107393`*^9}, {
  3.849066673684306*^9, 3.849066683746312*^9}, {3.8490667716291*^9, 
  3.8490668166486015`*^9}, {3.849068061699106*^9, 3.8490681066896043`*^9}}],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{
   RowBox[{"LeftQ", "[", 
    RowBox[{"a_", ",", "b_"}], "]"}], ":=", 
   RowBox[{"(", "\[IndentingNewLine]", 
    RowBox[{
    "(*", "\:5224\:65ada\:662f\:5426\:5728b\:7684\:5de6\:4fa7", "*)"}], 
    "\[IndentingNewLine]", 
    RowBox[{
     RowBox[{
      RowBox[{"(", 
       RowBox[{"a", "\[Cross]", "b"}], ")"}], "\[LeftDoubleBracket]", "3", 
      "\[RightDoubleBracket]"}], "<", "0"}], "\[IndentingNewLine]", ")"}]}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{"Manipulate", "[", "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{"Graphics", "[", "\[IndentingNewLine]", 
    RowBox[{
     RowBox[{"{", "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{"Arrow", "[", 
        RowBox[{"{", 
         RowBox[{
          RowBox[{"{", 
           RowBox[{"0", ",", "0"}], "}"}], ",", 
          RowBox[{"{", 
           RowBox[{"0", ",", "1"}], "}"}]}], "}"}], "]"}], ",", 
       "\[IndentingNewLine]", "Red", ",", " ", 
       RowBox[{"Arrow", "[", 
        RowBox[{"{", 
         RowBox[{
          RowBox[{"{", 
           RowBox[{"0", ",", "0"}], "}"}], ",", "p"}], "}"}], "]"}], ",", 
       "\[IndentingNewLine]", 
       RowBox[{"Text", "[", 
        RowBox[{
         RowBox[{"StringForm", "[", 
          RowBox[{"\"\<\:63a7\:5236\:70b9\:ff1a``\>\"", ",", 
           RowBox[{
            RowBox[{"Append", "[", 
             RowBox[{"p", ",", "0"}], "]"}], "\[Cross]", 
            RowBox[{"{", 
             RowBox[{"0", ",", "1", ",", "0"}], "}"}]}]}], "]"}], ",", 
         RowBox[{"{", 
          RowBox[{
           RowBox[{"-", "0.6"}], ",", "1"}], "}"}]}], "]"}], ",", 
       "\[IndentingNewLine]", 
       RowBox[{"Text", "[", 
        RowBox[{
         RowBox[{"StringForm", "[", 
          RowBox[{"\"\<\:5728\:9ed1\:7bad\:5934\:7684\:ff1a``\>\"", ",", 
           RowBox[{"If", "[", 
            RowBox[{
             RowBox[{"LeftQ", "[", 
              RowBox[{
               RowBox[{"Append", "[", 
                RowBox[{"p", ",", "0"}], "]"}], ",", 
               RowBox[{"{", 
                RowBox[{"0", ",", "1", ",", "0"}], "}"}]}], "]"}], ",", 
             "\"\<\:5de6\:4fa7\>\"", ",", "\"\<\:53f3\:4fa7\>\""}], "]"}]}], 
          "]"}], ",", 
         RowBox[{"{", 
          RowBox[{
           RowBox[{"-", "0.7"}], ",", "0.8"}], "}"}]}], "]"}]}], 
      "\[IndentingNewLine]", "}"}], ",", "\[IndentingNewLine]", 
     RowBox[{"Axes", "\[Rule]", "True"}], ",", "\[IndentingNewLine]", 
     RowBox[{"PlotRange", "\[Rule]", 
      RowBox[{"{", 
       RowBox[{
        RowBox[{"{", 
         RowBox[{
          RowBox[{"-", "1"}], ",", "1"}], "}"}], ",", 
        RowBox[{"{", 
         RowBox[{
          RowBox[{"-", "1"}], ",", "1"}], "}"}]}], "}"}]}]}], 
    "\[IndentingNewLine]", "]"}], ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{"p", ",", 
       RowBox[{"{", 
        RowBox[{"1", ",", "1"}], "}"}]}], "}"}], ",", "Locator"}], "}"}]}], 
  "]"}]}], "Input",
 CellChangeTimes->{{3.818384310242109*^9, 3.818384324196504*^9}, {
   3.818384372353319*^9, 3.8183843809611797`*^9}, {3.8183856151045914`*^9, 
   3.818385697661846*^9}, {3.818385753653445*^9, 3.818385960562134*^9}, {
   3.8183926207580867`*^9, 3.8183926228182926`*^9}, 3.848972372044154*^9, {
   3.848972480456994*^9, 3.848972490687017*^9}, {3.8489725351674643`*^9, 
   3.8489726400859556`*^9}, {3.8489726728432307`*^9, 3.848972731227069*^9}, {
   3.8489727656805134`*^9, 3.8489729773436775`*^9}, {3.8489733291871347`*^9, 
   3.848973344018617*^9}, {3.848973427698984*^9, 3.848973442761491*^9}, {
   3.848973491022316*^9, 3.8489735639226055`*^9}, {3.848973850526266*^9, 
   3.8489738568609*^9}, {3.8489741208173027`*^9, 3.8489741289801188`*^9}, {
   3.848974162844519*^9, 3.848974202674502*^9}, {3.848974237949029*^9, 
   3.8489743161878557`*^9}, {3.848974408844121*^9, 3.8489744192821646`*^9}, {
   3.848975188319085*^9, 3.848975192637517*^9}, {3.8489754609913635`*^9, 
   3.848975536332897*^9}, {3.8489756045697265`*^9, 3.8489756217454433`*^9}, {
   3.848975773319868*^9, 3.8489760334478683`*^9}, {3.848976169434868*^9, 
   3.8489762054698677`*^9}, {3.848976600420311*^9, 3.8489766232105894`*^9}, {
   3.8489775696012254`*^9, 3.8489775816694317`*^9}, {3.8490037267069683`*^9, 
   3.8490037281302614`*^9}},
 Background->RGBColor[
  0.9529411764705882, 0.9529411764705882, 0.9529411764705882],
 ExpressionUUID -> "99cbdab4-9a58-4edb-8374-8d77023f731c"],

Cell[BoxData[
 TagBox[
  StyleBox[
   DynamicModuleBox[{$CellContext`p$$ = {0.41300000000000003`, -0.378}, 
    Typeset`show$$ = True, Typeset`bookmarkList$$ = {}, 
    Typeset`bookmarkMode$$ = "Menu", Typeset`animator$$, Typeset`animvar$$ = 
    1, Typeset`name$$ = "\"\:65e0\:6807\:9898\"", Typeset`specs$$ = {{{
       Hold[$CellContext`p$$], {1, 1}}, Automatic}}, Typeset`size$$ = {
    414., {201., 207.}}, Typeset`update$$ = 0, Typeset`initDone$$, 
    Typeset`skipInitDone$$ = True}, 
    DynamicBox[Manipulate`ManipulateBoxes[
     1, StandardForm, "Variables" :> {$CellContext`p$$ = {1, 1}}, 
      "ControllerVariables" :> {}, 
      "OtherVariables" :> {
       Typeset`show$$, Typeset`bookmarkList$$, Typeset`bookmarkMode$$, 
        Typeset`animator$$, Typeset`animvar$$, Typeset`name$$, 
        Typeset`specs$$, Typeset`size$$, Typeset`update$$, Typeset`initDone$$,
         Typeset`skipInitDone$$}, "Body" :> Graphics[{
         Arrow[{{0, 0}, {0, 1}}], Red, 
         Arrow[{{0, 0}, $CellContext`p$$}], 
         Text[
          StringForm["\:63a7\:5236\:70b9\:ff1a``", 
           Cross[
            Append[$CellContext`p$$, 0], {0, 1, 0}]], {-0.6, 1}], 
         Text[
          StringForm["\:5728\:9ed1\:7bad\:5934\:7684\:ff1a``", 
           If[
            $CellContext`LeftQ[
             Append[$CellContext`p$$, 0], {0, 1, 0}], "\:5de6\:4fa7", 
            "\:53f3\:4fa7"]], {-0.7, 0.8}]}, Axes -> True, 
        PlotRange -> {{-1, 1}, {-1, 1}}], 
      "Specifications" :> {{{$CellContext`p$$, {1, 1}}, Automatic, 
         ControlType -> Locator}}, "Options" :> {}, "DefaultOptions" :> {}],
     ImageSizeCache->{477., {239., 246.}},
     SingleEvaluation->True],
    Deinitialization:>None,
    DynamicModuleValues:>{},
    SynchronousInitialization->True,
    UndoTrackedVariables:>{Typeset`show$$, Typeset`bookmarkMode$$},
    UnsavedVariables:>{Typeset`initDone$$},
    UntrackedVariables:>{Typeset`size$$}], "Manipulate",
   Deployed->True,
   StripOnInput->False],
  Manipulate`InterpretManipulate[1]]], "Output",
 CellChangeTimes->{3.849066599135852*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["\:5224\:65ad\:70b9\:662f\:5426\:5728\:4e09\:89d2\:5f62\:5185\:90e8", \
"Subchapter",
 CellChangeTimes->{3.849067566779617*^9}],

Cell["\:5982\:679c\:8fd9\:4e2a\:70b9\:540c\:65f6\:5728\:4e09\:8fb9\:7684\:5de6\
\:4fa7\:6216\:53f3\:4fa7\:90a3\:5c31\:662f\:5185\:90e8", "Text",
 CellChangeTimes->{{3.8490681330502405`*^9, 3.8490681598759227`*^9}}],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{"p1", ":=", 
   RowBox[{"{", 
    RowBox[{"0.2", ",", "0.2"}], "}"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"p2", ":=", 
   RowBox[{"{", 
    RowBox[{"0.6", ",", "0.8"}], "}"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"p3", ":=", 
   RowBox[{"{", 
    RowBox[{"0.8", ",", "0.3"}], "}"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{"Manipulate", "[", "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{"Graphics", "[", "\[IndentingNewLine]", 
    RowBox[{
     RowBox[{"{", "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{"Arrow", "[", 
        RowBox[{"{", 
         RowBox[{"p1", ",", "p2"}], "}"}], "]"}], ",", 
       RowBox[{"Arrow", "[", 
        RowBox[{"{", 
         RowBox[{"p2", ",", "p3"}], "}"}], "]"}], ",", 
       RowBox[{"Arrow", "[", 
        RowBox[{"{", 
         RowBox[{"p3", ",", "p1"}], "}"}], "]"}], ",", "\[IndentingNewLine]", 
       RowBox[{"Text", "[", 
        RowBox[{
         RowBox[{"If", "[", "\[IndentingNewLine]", 
          RowBox[{
           RowBox[{
            RowBox[{"LeftQ", "[", 
             RowBox[{
              RowBox[{"Append", "[", 
               RowBox[{
                RowBox[{"p", "-", "p1"}], ",", "0"}], "]"}], ",", 
              RowBox[{"Append", "[", 
               RowBox[{
                RowBox[{"p2", "-", "p1"}], ",", "0"}], "]"}]}], "]"}], 
            "\[Equal]", " ", "\[IndentingNewLine]", 
            RowBox[{"LeftQ", "[", 
             RowBox[{
              RowBox[{"Append", "[", 
               RowBox[{
                RowBox[{"p", "-", "p2"}], ",", "0"}], "]"}], ",", 
              RowBox[{"Append", "[", 
               RowBox[{
                RowBox[{"p3", "-", "p2"}], ",", "0"}], "]"}]}], "]"}], 
            "\[Equal]", " ", "\[IndentingNewLine]", 
            RowBox[{"LeftQ", "[", 
             RowBox[{
              RowBox[{"Append", "[", 
               RowBox[{
                RowBox[{"p", "-", "p3"}], ",", "0"}], "]"}], ",", 
              RowBox[{"Append", "[", 
               RowBox[{
                RowBox[{"p1", "-", "p3"}], ",", "0"}], "]"}]}], "]"}]}], 
           "\[IndentingNewLine]", ",", "\"\<\:5185\:90e8\>\"", ",", 
           "\"\<\:5916\:90e8\>\""}], "]"}], ",", 
         RowBox[{"{", 
          RowBox[{"0.5", ",", "0.9"}], "}"}]}], "]"}], ",", 
       "\[IndentingNewLine]", "Red", ",", 
       RowBox[{"Point", "[", "p", "]"}], ",", "\[IndentingNewLine]", 
       RowBox[{"Text", "[", 
        RowBox[{
         RowBox[{"StringForm", "[", 
          RowBox[{"\"\<\:63a7\:5236\:70b9\:ff1a``\>\"", ",", "p"}], "]"}], 
         ",", 
         RowBox[{"{", 
          RowBox[{"0.5", ",", "1"}], "}"}]}], "]"}]}], "\[IndentingNewLine]", 
      "}"}], ",", "\[IndentingNewLine]", 
     RowBox[{"Axes", "\[Rule]", "True"}], ",", "\[IndentingNewLine]", 
     RowBox[{"PlotRange", "\[Rule]", 
      RowBox[{"{", 
       RowBox[{
        RowBox[{"{", 
         RowBox[{"0", ",", "1"}], "}"}], ",", 
        RowBox[{"{", 
         RowBox[{"0", ",", "1"}], "}"}]}], "}"}]}]}], "\[IndentingNewLine]", 
    "]"}], ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{"p", ",", 
       RowBox[{"{", 
        RowBox[{"0.5", ",", "0.5"}], "}"}]}], "}"}], ",", "Locator"}], 
    "}"}]}], "]"}]}], "Input",
 CellChangeTimes->{{3.848974664520688*^9, 3.848974744256663*^9}, {
   3.848974858978134*^9, 3.8489751655318065`*^9}, {3.848975260136269*^9, 
   3.8489752629825535`*^9}, {3.848975395504816*^9, 3.848975400108276*^9}, {
   3.8489754331465797`*^9, 3.8489754488971543`*^9}, {3.848975558411105*^9, 
   3.8489755777700405`*^9}, {3.848976067008868*^9, 3.848976156540868*^9}, {
   3.848976249650237*^9, 3.848976363249596*^9}, {3.848976673152583*^9, 
   3.8489767351867905`*^9}, {3.8489768183481054`*^9, 
   3.8489768194692173`*^9}, {3.8489768690071707`*^9, 
   3.8489769323375034`*^9}, {3.848977040604329*^9, 3.8489770986801357`*^9}, {
   3.848977138967164*^9, 3.848977210090276*^9}, {3.848977252116478*^9, 
   3.848977263810647*^9}, {3.8489773006713333`*^9, 3.848977419301195*^9}, {
   3.8489774649217587`*^9, 3.848977537766042*^9}, {3.8489775951377788`*^9, 
   3.8489776563869033`*^9}, {3.8489783265129976`*^9, 3.848978366248971*^9}, {
   3.848978577082052*^9, 3.84897858025937*^9}, {3.848978617559099*^9, 
   3.8489786331606593`*^9}, {3.848979351778102*^9, 3.8489793579091015`*^9}, {
   3.8489800162081175`*^9, 3.848980033857882*^9}, {3.8489800862551303`*^9, 
   3.848980089060411*^9}, {3.8489803313886414`*^9, 3.848980334816984*^9}, 
   3.8489804874252434`*^9, {3.8489805604835486`*^9, 3.8489807548709855`*^9}, {
   3.849047391108557*^9, 3.849047524453557*^9}},
 Background->RGBColor[
  0.9529411764705882, 0.9529411764705882, 0.9529411764705882],
 ExpressionUUID -> "7c9fc080-d29b-4d1e-9892-4341fa78377b"],

Cell[BoxData[
 TagBox[
  StyleBox[
   DynamicModuleBox[{$CellContext`p$$ = {0.588, 0.61}, Typeset`show$$ = True, 
    Typeset`bookmarkList$$ = {}, Typeset`bookmarkMode$$ = "Menu", 
    Typeset`animator$$, Typeset`animvar$$ = 1, Typeset`name$$ = 
    "\"\:65e0\:6807\:9898\"", Typeset`specs$$ = {{{
       Hold[$CellContext`p$$], {0.5, 0.5}}, Automatic}}, Typeset`size$$ = {
    414., {202., 209.}}, Typeset`update$$ = 0, Typeset`initDone$$, 
    Typeset`skipInitDone$$ = True}, 
    DynamicBox[Manipulate`ManipulateBoxes[
     1, StandardForm, "Variables" :> {$CellContext`p$$ = {0.5, 0.5}}, 
      "ControllerVariables" :> {}, 
      "OtherVariables" :> {
       Typeset`show$$, Typeset`bookmarkList$$, Typeset`bookmarkMode$$, 
        Typeset`animator$$, Typeset`animvar$$, Typeset`name$$, 
        Typeset`specs$$, Typeset`size$$, Typeset`update$$, Typeset`initDone$$,
         Typeset`skipInitDone$$}, "Body" :> Graphics[{
         Arrow[{$CellContext`p1, $CellContext`p2}], 
         Arrow[{$CellContext`p2, $CellContext`p3}], 
         Arrow[{$CellContext`p3, $CellContext`p1}], 
         Text[
          If[$CellContext`LeftQ[
             Append[$CellContext`p$$ - $CellContext`p1, 0], 
             
             Append[$CellContext`p2 - $CellContext`p1, 
              0]] == $CellContext`LeftQ[
             Append[$CellContext`p$$ - $CellContext`p2, 0], 
             
             Append[$CellContext`p3 - $CellContext`p2, 
              0]] == $CellContext`LeftQ[
             Append[$CellContext`p$$ - $CellContext`p3, 0], 
             Append[$CellContext`p1 - $CellContext`p3, 0]], "\:5185\:90e8", 
           "\:5916\:90e8"], {0.5, 0.9}], Red, 
         Point[$CellContext`p$$], 
         Text[
          StringForm["\:63a7\:5236\:70b9\:ff1a``", $CellContext`p$$], {
          0.5, 1}]}, Axes -> True, PlotRange -> {{0, 1}, {0, 1}}], 
      "Specifications" :> {{{$CellContext`p$$, {0.5, 0.5}}, Automatic, 
         ControlType -> Locator}}, "Options" :> {}, "DefaultOptions" :> {}],
     ImageSizeCache->{477., {241., 248.}},
     SingleEvaluation->True],
    Deinitialization:>None,
    DynamicModuleValues:>{},
    SynchronousInitialization->True,
    UndoTrackedVariables:>{Typeset`show$$, Typeset`bookmarkMode$$},
    UnsavedVariables:>{Typeset`initDone$$},
    UntrackedVariables:>{Typeset`size$$}], "Manipulate",
   Deployed->True,
   StripOnInput->False],
  Manipulate`InterpretManipulate[1]]], "Output",
 CellChangeTimes->{3.8490666066616044`*^9}]
}, Open  ]]
}, Open  ]]
}, Open  ]]
},
WindowToolbars->"EditBar",
WindowSize->{1600, 826},
WindowMargins->{{-8, Automatic}, {Automatic, -8}},
Magnification:>1.15 Inherited,
FrontEndVersion->"11.0 for Microsoft Windows (64-bit) (2016\:5e7410\:67088\
\:65e5)",
StyleDefinitions->"Default.nb",
ExpressionUUID -> "842e86cd-e288-49ce-97d6-c4db1d249c0d"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[CellGroupData[{
Cell[580, 22, 127, 1, 72, "Chapter"],
Cell[CellGroupData[{
Cell[732, 27, 195, 3, 69, "Subchapter"],
Cell[930, 32, 706, 10, 34, "Text"],
Cell[CellGroupData[{
Cell[1661, 46, 4421, 104, 563, "Input"],
Cell[6085, 152, 2088, 44, 504, "Output"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[8222, 202, 132, 2, 69, "Subchapter"],
Cell[8357, 206, 214, 2, 34, "Text"],
Cell[CellGroupData[{
Cell[8596, 212, 4785, 110, 695, "Input"],
Cell[13384, 324, 2474, 51, 508, "Output"]
}, Open  ]]
}, Open  ]]
}, Open  ]]
}
]
*)

